Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·14h
📊Static Analysis
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·18h
🦀Rust Macros
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·18h
🔬Refinement Types
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4d·
Discuss: Lobsters, Hacker News
🔗Lisp
Issue 483
haskellweekly.news·6d
🧬Functional Programming
Challenges of Pseudocode Expansion
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔗Lisp
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·1d
💻Local LLMs
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·2h·
Discuss: Hacker News
💻Programming languages
The Generativity Pattern in Rust
arhan.sh·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
libsemigroups: C++ library for semigroups and monoids
github.com·1d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev·1h·
Discuss: Hacker News
🤖Lisp Machines
Build a Mini-FastAPI from Scratch: Learn ASGI & Routing Internals
dev.to·2h·
Discuss: DEV
⚡gRPC
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
🔄Lens Laws
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·14h
📏Linear Logic
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·23h
🔬Refinement Types
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·1d·
Discuss: Hacker News
📼Tape Combinators